Skip to content

Port StatementRewrite::inject_auto_id#1169

Merged
sgrif merged 1 commit into
mainfrom
sg-port-inject-auto-id
Jul 9, 2026
Merged

Port StatementRewrite::inject_auto_id#1169
sgrif merged 1 commit into
mainfrom
sg-port-inject-auto-id

Conversation

@sgrif

@sgrif sgrif commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

This was a very quick and easy port. I definitely did not lose an entire day to a lifetime issue because I wanted mutable lists to make this function look nicer when it was done being ported.

This was a very quick and easy port. I definitely did not lose an entire
day to a lifetime issue because I wanted mutable lists to make this
function look nicer when it was done being ported.
@sgrif sgrif requested a review from levkk July 9, 2026 01:23
@sgrif sgrif force-pushed the sg-port-inject-auto-id branch from f82d595 to 9a9685c Compare July 9, 2026 01:24

@levkk levkk left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Neat

@sgrif sgrif merged commit b3f3a89 into main Jul 9, 2026
22 of 23 checks passed
@sgrif sgrif deleted the sg-port-inject-auto-id branch July 9, 2026 02:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants